退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:集团负责人和匿名的正式化
机译:在Isabelle / HOL中将可证明的匿名形式化
机译:一种基于协议组成逻辑的形式化匿名的新方法
机译:形式化智能电网中的匿名-延迟权衡
机译:委托代理对农业的影响:将代理理论正式化为农场业务,以此作为生存策略(代理理论能否在农场上奏效?)。
机译:有限混合物建模和动态治疗方案正式化的个性化复苏策略
机译:测量形式化设备,测量形式化方法和测量形式化程序
机译:业务形式化程序,业务形式化方法和业务形式化设备
机译:匿名ID生成设备,匿名ID解码设备,匿名ID生成方法,以及匿名ID生成程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。